Symbolic system - PDFSEARCH.IO - Document Search Engine

Symbolic system
Results: 148

#	Item
131	1 BUILDING A CLOUD FILESYSTEM Jeff Darcy / Mark Wagner Principal Software Engineers, Red Hat Add to Reading List Source URL: cloudfs.org Language: English - Date: 2011-05-05 11:37:32 Network file systems Distributed data storage GlusterFS Internet privacy Dropbox Privacy File system Symbolic link Gluster Computing Cloud computing Software
132	J. Symbolic Computation[removed], 71-84 Constructing Type Systems over an Operational Semantics ROBERT HARPER Add to Reading List Source URL: www.cs.uoregon.edu Language: English - Date: 2010-06-25 18:00:46 Model theory Interpretation Structure Monad Equivalence relation FO Type system Combinatorial species Type theory Mathematics Mathematical logic Logic
133	INFORMATIK BERICHTE 369 – [removed]Symbolic Trajectories Add to Reading List Source URL: dna.fernuni-hagen.de Language: English - Date: 2013-12-17 07:51:24 Programming language theory Program analysis Type system Computing Trajectory Pattern matching Data types Type theory Software engineering
134	EXE: A System for Automatically Generating Inputs of Death Using Symbolic Execution Cristian Cadar, Paul Twohey, Vijay Ganesh, Dawson Engler Stanford University Computer Systems Laboratory {cristic, twohey, vganesh, engl Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2006-03-02 02:20:53 Data types Abstract interpretation Symbolic execution C++ Pointer C Type system Buffer overflow Sizeof Computing Software engineering Computer programming
135	Elements of Fiction Allegory - A story in which characters & events form a system of symbolic meanings. George Orwell=s Animal Farm is a story in which each animal stands for a specific individual from the Russian Bolshe Add to Reading List Source URL: www.kellimcbride.com Language: English - Date: 2008-01-10 18:20:14 Narratology Point of view Narrative mode Narrator Short story Irony Scene Narrative Edgar Allan Poe Fiction Literature Style
136	UM–TH–91–18 June 9, 1993 Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-01-31 20:53:21 Classes of computers Home computers Personal computers Schoonschip FORM Operating system Symbolic Manipulation Program Amiga Atari ST Computer algebra systems Computing Software
137	Computex! Cakulus "Awesome Add to Reading List Source URL: www.stolaf.edu Language: English - Date: 2013-03-22 10:35:01 Office equipment Computer arithmetic Computer algebra system Symbolic integration Macsyma Algebra Software calculator Numerical analysis Floating point Software Mathematics Computing
138	NATIONAL ACADEMY OF SCIENCES GEORGE DAVID BIRKHOFF Add to Reading List Source URL: www.nap.edu Language: English - Date: 2001-10-26 15:52:48 George David Birkhoff Ergodic theory Marston Morse Birkhoff Symbolic dynamics John von Neumann E. H. Moore Dynamical system American Mathematical Society Mathematics Academia Science
139	Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models Rajeev Alur Add to Reading List Source URL: drona.csa.iisc.ernet.in Language: English - Date: 2009-08-11 01:52:42 Abstraction Systems theory Software Simulation software Numerical software Stateflow Simulink Model-based design Hybrid system Visual programming languages Mathematical modeling Mathematics
140	Chapter 7 Techniques of symbolic Add to Reading List Source URL: www.math.upenn.edu Language: English - Date: 2009-01-15 15:22:19 Polynomials Algebraic geometry Commutative algebra Invariant theory Gröbner basis System of polynomial equations Degree of a polynomial Monomial order Monomial Algebra Abstract algebra Mathematics

UPDATE